First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
981	Monadic Counting Does Not Suffice Steven Lindell, Haverford College Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:09 Metalogic Predicate logic Semantics First-order logic Quantifier elimination Quantification Well-formed formula Constructible universe Presburger arithmetic Logic Mathematical logic Model theory
982	Feb. 28, [removed]Feb. 28, 2006 Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:21 Model theory First-order logic Predicate logic Interpretation FO Logic Mathematical logic Metalogic
983	Description Logics Propositional Description Logics Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:48 Non-classical logic Philosophy of language Fuzzy logic First-order logic Interpretation Modal logic Function BL Description logic Logic Mathematical logic Model theory
984	Verification of solid state interlocking programs Phillip James, Andy Lawrence Faron Moller, Markus Roggenbach, Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2013-09-27 06:58:46 Propositional calculus Model theory Predicate logic Metalogic Ladder logic First-order logic Logic programming Formal verification Function Logic Mathematics Mathematical logic
985	Does “Q-Spreading” Come with Presupposition Spreading? Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:51:25 Predicate logic Quantification Philosophy of language Model theory Presupposition First-order logic Singular they Sentence Proposition Logic Linguistics Semantics
986	The Rational Numbers as an Abstract Data Type J. A. BERGSTRA University of Amsterdam, Informatics Institute, Amsterdam, The Netherlands AND J. V. TUCKER Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2007-04-14 14:30:54 Model theory Algebraic structures Mathematical structures Field theory First-order logic Type Structure Universal algebra John V. Tucker Mathematics Abstract algebra Algebra
987	Automated Verification of Signalling Principles in Railway Interlocking Systems Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2011-03-08 11:42:58 Propositional calculus Railway signalling Model theory Interlocking Ladder logic Propositional variable First-order logic Ladder Railroad switch Logic Transport Land transport
988	Verification of solid state interlocking programs Phillip James1 , Andy Lawrence1 , Faron Moller1 , Markus Roggenbach1 , Monika Seisenberger1 , Anton Setzer1 , Karim Kanso2 , and Simon Chadwick3 1 Swansea Railway Verifi Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-12-12 10:55:19 Propositional calculus Predicate logic Model theory Formal languages Ladder logic Model checking Logic programming First-order logic Interlocking Logic Mathematical logic Mathematics
989	Purity through Unravelling Robert Hein and Charles Stewart Technische Universit¨ Add to Reading List Source URL: bitschnitzer.de Language: English - Date: 2006-02-22 15:53:09 Mathematics Kripke semantics Natural deduction Modal logic Propositional calculus Sequent calculus First-order logic Structural proof theory Proof calculus Logic Mathematical logic Proof theory